Refining Behavioral Specification for Satisfying Non-functional Requirements of Stakeholders
نویسندگان
چکیده
System specifications should be refined to meet stakeholders’ requirements as much as possible, because the first specification does not satisfy all stakeholders in general. This paper presents a procedure to refine behavioral specification to satisfy stakeholders. Non-functional requirements are used for checking stakeholders’ satisfaction. With this procedure, stakeholder-dissatisfaction can be reduced and new possibilities to satisfy or dissatisfy other stakeholders can be found, since a modification to cancel dissatisfaction can sometimes influence the satisfaction of the others. key words: Requirements Elicitation, Requirements Change, NonFunctional Requirements, Sequential Diagram.
منابع مشابه
Problem-Aware Traceability in Goal-Oriented Requirements Engineering
Requirements traceability helps to ensure that a requirements specification is aligned with the intended stakeholders’ needs. Such alignment should involve the consideration of why such needs arise, in terms of what problems the stakeholders are faced with, and what kinds of software system may help alleviate or eliminate the problems. However, little work can be found on requirements traceabil...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملUse Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns
Requirements Engineering is a system engineering discipline of paramount importance. Its primary deliverable is the requirements specification, a document that entails the detailed description of business-specific needs to which the target software system must comply to. Despite the advances brought by modeling techniques, the specification of software systems still consists mostly in manually ...
متن کاملA semantic-aware role-based access control model for pervasive computing environments
Access control in open and dynamic Pervasive Computing Environments (PCEs) is a very complex mechanism and encompasses various new requirements. In fact, in such environments, context information should be used in access control decision process; however, it is not applicable to gather all context information completely and accurately all the time. Thus, a suitable access control model for PCEs...
متن کاملUsing the Language Extended Lexicon to Support Non-Functional Requirements Elicitation
Although Non-Functional Requirements (NFR) have been present in many software development methods, they have been faced as a second or even third class type of requirement, frequently hided inside notes and therefore frequently neglected or forgotten. Surprisingly, despite the fact that nonfunctional requirements (NFR) are among the most expensive and difficult to deal with [5] [12] [3][10], ev...
متن کامل